MacNeille completion and profinite completion can coincide on finitely generated modal algebras
نویسندگان
چکیده
منابع مشابه
Macneille Completion and Profinite Completion Can Coincide on Finitely Generated Modal Algebras
Following [3] we confirm a conjecture of Yde Venema by piecing together results from various authors. Specifically, we show that if A is a residually finite, finitely generated modal algebra such that HSP(A) has equationally definable principal congruences, then the profinite completion of A is the MacNeille completion of A, and ♦ is smooth. Specific examples of such modal algebras are the free...
متن کاملDedekind-MacNeille Completion of n-Lattices
A completion of an n-lattice L = 〈L,.1, . . . , .n〉 is defined, by analogy with lattices, as a pair 〈e,C〉, where C is a complete n-lattice and e : L → C is an n-lattice embedding. The Basic Theorem of Polyadic Concept Analysis is exploited to construct a completion of an arbitrary n-lattice. The completion reduces to the Dedekind-MacNeille completion in the dyadic case, which was first formulat...
متن کاملDedekind-MacNeille Completion and Multi-adjoint Lattices
Among other applications, multi-adjoint lattices have been successfully used for modeling flexible notions of truth-degrees in the fuzzy extension of logic programming called MALP (Multi-Adjoint Logic Programming). In this paper we focus in the completion of such mathematical construct by adapting the classical notion of Dedekind-MacNeille in order to relax this usual hypothesis on such kind of...
متن کاملSome remarks on profinite completion of spaces
We study profinite completion of spaces in the model category of profinite spaces and construct a rigidification of the completion functors of Artin-Mazur and Sullivan which extends also to non-connected spaces. Another new aspect is an equivariant profinite completion functor and equivariant fibrant replacement functor for a profinite group acting on a space. This is crucial for applications w...
متن کاملThe model completion of the theory of modules over finitely generated commutative algebras
We find the model completion of the theory modules over A, where A is a finitely generated commutative algebra over a field K. This is done in a context where the field K and the module are represented by sorts in the theory, so that constructible sets associated with a module can be interpreted in this language. The language is expanded by additional sorts for the Grassmanians of all powers of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2009
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-009-0028-9